#include <stdio.h>
int main() {
    int a = 0; int b = 0; int c = 0;
    scanf("%d %d %d", &a, &b, &c);
    int d = (a + b + c) / 3;
    if (d >= 60) {
        printf("NO");
    }
    else {
        printf("YES");
    }
    return 0;
}